A Comparative Study of Gaussian Samplers Advisor(s): Peter Pessl Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria

Source URL: www.iaik.tugraz.at

• Statistics
• Probability
• Mathematical analysis
• Probability distribution
• Sampling
• Normal distribution

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• FO
• Constructible universe
• Normal distribution

Algebra and technology: Emerging issues* Barry Kissane Australian Institute of Education Murdoch University, WA Synopsis: Although there are a number of technologies related to school

Source URL: wwwstaff.murdoch.edu.au

• Graphing calculators
• Office equipment
• Programmable calculators
• Mathematics
• Equipment
• Consumer electronics
• Mathematical notation
• Software calculator
• Calculator
• Computer algebra system
• Scientific calculator
• Casio graphic calculators

Institute of Mathematical Statistics is collaborating with JSTOR to digitize, preserve, and extend access to The Annals of Probability. ® www.jstor.org 

Source URL: www.math.csi.cuny.edu

Institute of Mathematical Statistics is collaborating with JSTOR to digitize, preserve, and extend access to The Annals of Probability. ® www.jstor.org 

Source URL: www.math.csi.cuny.edu

Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi

Source URL: ifomis.uni-saarland.de

• Logic
• Mathematical logic
• Model theory
• Metalogic
• Interpretation
• Philosophy of mind
• Semantics
• First-order logic
• Constructible universe
• Linear temporal logic
• operator

EFFICIENT METHODS FOR POINT MATCHING WITH KNOWN CAMERA ORIENTATION João F. C. Mota, Pedro M. Q. Aguiar Institute for Systems and Robotics / IST, Lisboa, Portugal {jmota,aguiar}@isr.ist.utl.pt ABSTRACT The vast majority

Source URL: www.ee.ucl.ac.uk

• Mathematics
• Geometry
• Mathematical physics
• Dimension
• Matrix
• Rotation matrix
• Cartesian coordinate system
• Perspective-n-Point

MIMS Technical Report No) A self-organized mesh generator using pattern formation in a reaction-diffusion system Hirofumi Notsua,∗, Daishin Ueyamab , Masahiro Yamaguchic,d a Waseda Institute for Adva

Source URL: www.mims.meiji.ac.jp

• Numerical analysis
• Finite element method
• Mathematical analysis
• Structural analysis
• Calculus
• Delaunay triangulation
• Mesh generation
• Medical Subject Headings

A Variational Analysis of Stochastic Gradient Algorithms Stephan Mandt Columbia University, Data Science Institute, New York, USA SM 3976@ COLUMBIA . EDU

Source URL: jmlr.org

• Statistics
• Mathematical analysis
• Statistical theory
• Estimation theory
• Bayesian statistics
• Stochastic optimization
• Probability theory
• Computational statistics
• Expectationmaximization algorithm
• Stochastic gradient descent
• OrnsteinUhlenbeck process
• Variational Bayesian methods

Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo

Source URL: www.phil.uu.nl

• Logic
• Mathematical logic
• Abstraction
• Proof theory
• Model theory
• Non-classical logic
• Predicate logic
• Philosophical logic
• Natural deduction
• Sequent calculus
• Sequent
• First-order logic